minor polishing for the manual
update manual intro page, sbt build and readme for the 0.4.0 release