Initial Github Import
added travis config
Generated timer names by scalacheck can't include |