Add sireum jvm test project, and refactor workspace