Jan Busch

Configuration.sanitizedPathSegments breaks execution on Windows

4

Since `Configuration.sanitizedPathSegments` was indtroduced a few months ago, keymaerax-core is broken for Windows. ``` Exception in thread "main" java.lang.ExceptionInInitializerError at edu.cmu.cs.ls.keymaerax.hydra.SQLite$.ProdDB$lzycompute(SQLite.scala:46) at edu.cmu.cs.ls.keymaerax.hydra.SQLite$.ProdDB(SQLite.scala:46) at edu.cmu.cs.ls.keymaerax.launcher.Main$.exitIfDeprecated(Main.scala:190) at edu.cmu.cs.ls.keymaerax.launcher.Main$.main(Main.scala:88) at edu.cmu.cs.ls.keymaerax.launcher.Main.main(Main.scala) Caused...

This is meant to solve https://github.com/LS-Lab/KeYmaeraX-release/issues/110