1.0beta5

Hopefully completes the switchover to Java RPN: Updates URLs to the user's guide and JRPN main page,
e.g. in the about screen. Adds embedded font to get rid of missing glyph issues on the keys.

I still haven't tested on Mac, and it's been a while since I've tested on Windows :-)