Added Compile Analysis serialization

* Added asymmetric serialization of Task results
* Added protocol objects for all of sbt.inc.Analysis
* Fixed source-code formatting
* Added ScalaCheck
* Rebased on master