Separated out macro to a new project and made sireum-lib a Java project.
Moved out Pilar parser in a separate repo.