Hard-coded Boogie paths in memory splitter

[0152la]

Paths to call Boogie and the solver it should use for memory splitting are hard-coded in VCSplitter.cs, They are also relative, which means stuff will break if not called from the right folder.