deal with dead link for batik, upgrade to 1.14 (fixes #192)

core/todo.txt

@@ -1,5 +1,7 @@
 1273 (4.0a4)
 X fix typo in extensions= arg
+X update batik to 1.14
+X   https://github.com/processing/processing4/issues/192
 
 
 _ why does japplemenubar.JAppleMenuBar.hide(); still work?

java/libraries/svg/build.xml

@@ -6,7 +6,7 @@
     <delete file="library/svg.jar" />
   </target>
 
-  <property name="batik.version" value="1.13" />
+  <property name="batik.version" value="1.14" />
   <!-- the .zip file to be downloaded -->
   <property name="batik.zip" value="batik-bin-${batik.version}.zip" />
   <!-- the .jar file that's the actual dependency -->

todo.txt

@@ -19,6 +19,12 @@ o   https://github.com/processing/processing4/issues/47
 o next video release
 o   https://github.com/processing/processing-video/milestone/1
 
+contribs
+X many updates in the docs portion of the repo
+X   https://github.com/processing/processing4/pull/191
+
+_ when lib downloads (batik) go dead, fallback to the download.processing.org version
+_   or for now, tell users how to do it manually
 
 windows/scaling
 _ we're turning off automatic UI scaling in Windows, should we turn it back on?