Show version on startup

For troubleshooting purposes it is useful to display the version of PanTools when it starts. Maven's git commit id plugin can generate a properties file that we can include in our code and read out at runtime.