Cleanup for Tags.java. Update up to Anki 2.0.25.

Update for tags.

One bug, one update, the rest is mostly formatting and better data types in method signatures. Added a FIXME on one method that is definitely wrong but is currently unused, so I didn't bother spending the time on it (I think the python might have errors in it too).