Fix dynamic library loading on successive analyses

[Gaudeval]

Description

Fixes #9, forcing sbt run and test commands to spawn a new JVM (and thus load the monosat libraries in a clean environment).
Also adds a .gitignore for sbt and PML files.

What type of pull request is this? (check all applicable)

• Feature
• Bug Fix
• Documentation Update
• Style
• Code Refactor
• Performance Improvements
• Test
• Build
• CI
• Chore (Release)
• Revert

Related Tickets & Documents

Fixes #9

Added tests?

• yes
• no, because they aren't needed
• no, because I need help

Added to documentation?

• README.md
• doc
• no documentation needed

Do we need to update pml analyzer version?

• no
• the pull request is only a bug fix, need a bug fix version update
• the pull request add new features and ensures retro-compatibility, need a feature addition version update
• the pull request is not ensuring retro-capatibility, need a major version update
• not sure, I need help

Is this new version should be released as soon as possible?

• yes
• no
• not sure, I need help