Upgrade to specs2 2 and sclacheck 1.13 and scala 2.11