More robust Simantics platform shutdown logic.

More robust Simantics platform shutdown logic.

Added a JVM runtime shutdown hook to ensure that unless the JVM process
is killed forcibly, the JVM should attempt properly shutting down the
Simantics platform, even if the client code that started the platform
fails to do so for any reason.

Also marked both SimanticsPlatform.{startUp,shutdown} synchronized to
prevent concurrent access to either the start-up or shutdown logic.

refs #7650

Change-Id: I8c8022730ed973d80897fb364592881425b0a51f