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
• [x] Bug Fix
• [ ] Documentation Update
• [ ] Style
• [ ] Code Refactor
• [ ] Performance Improvements
• [ ] Test
• [ ] Build
• [ ] CI
• [ ] Chore (Release)
• [ ] Revert

Related Tickets & Documents

Fixes #9

Added tests?

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

Added to documentation?

• [ ] README.md
• [ ] doc
• [x] no documentation needed

Do we need to update pml analyzer version?

• [ ] no
• [x] 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
• [x] not sure, I need help