Platform.Config: retrieve version from cabal file if available
koka.cabal: cabal now installs the koka library files
Compiler.Options: using a platform independent user data directory