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
Update Travis config to use OCaml 4.02.1
Merge pull request #2868 from yallop/travis-ocaml-4.02.1

Update Travis config to use OCaml 4.02.1
+camlp4.4.02.1+system
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