Major library reorganization by removing sireum.userlibraries and have
sireum-lib export all jars.