Declare ocsigenserver as a 1.2 package

it uses an (uncommented) dev-repo field that triggered a warning on 1.1
this will also serve as a test of the new redirection/rewriting repo rules for 1.1 vs 1.2
Travis script: some changes

- test the specific changed package versions
- use autoremove
- simpler check for package availability
- replace 'grep | sed | grep | awk' with a single 'sed'
Update travis script to apply opam version compat before testing on <1.2
The number of jobs for Coq can be set
Bug fix
lwt 2.4.6
OCaml version specified
-j jobs option added to Coq IDE
Older packages updated against OCaml 4.02.0
typo
update checksum
+ocaml.4.02.1+32bit
Sync latest compiler pull requests
Improve the llvm package
Add Darwin support to 4.02.1+32bit.
Merge pull request #2865 from whitequark/4.02.1+32bit

+ocaml.4.02.1+32bit
Merge pull request #2870 from bactrian/sync-prs-1413327601

Sync OCaml compiler PRs
Add Homepage and Doc fields to OUnit 2.0.0, v2.

Canonical homepage and doc links as given by the OUnit author.
change the version constraint for camlp4-system
The license of WiringPi is actually LGPL

It was relicensed in the 0.0.1 release, somehow that change slipped while packaging.