The following changes has been done with this commit:
1- Added a target for building scaladoc api with ant
2- Added a build tool for sbt, and changed the src directory structure accordingly
3- A very early support for ConstraintStore, still a very work in progress though.