Removed Sireum files and dependency to mdcf-extlib, and added dependency
to sireum-util.