Bumped version number to 1.2.2

Updated AutoDiff package spec

Fixed package dependencies - code contracts is not required by some t…

…arget frameworks.

Added travis CI integration script.

Manually fixed documentation files that were incorrectly generated by…

… CodePlex.