Gif optimization and music toggle

this update reduces program size by reverting to shorter mp3s and
implementing the new, low-frame-number gifs. additionally, music is
disabled for JAR process to work.

To enable music, just change the static var playMusic in MainGUI to
true.