Separated out macro to a new project and made sireum-lib a Java project.