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
relax constraint on stog for stog-rdf: < 0.14
add stog-writing 0.13.0
add xmldiff 0.4.0
git pushMerge branch 'master' of
https://github.com/OCamlPro/opam-repository
ppx_blob v0.1
ocaml version constraint and ocamlfind version constraint
Add xapi-networkd.0.9.4

Signed-off-by: David Scott <dave.scott@citrix.com>
Merge pull request #2858 from vbmithr/master

Fix yojson.1.1.3
Merge pull request #2856 from johnwhitington/master

Adds ppx_blob v0.1
Merge pull request #2859 from djs55/xapi-networkd

Add xapi-networkd.0.9.4
lwt 2.4.6
tighter constraint on rss for stog 0.4 -> 0.7
Merge branch 'master' of https://github.com/OCamlPro/opam-repository
OCaml version specified
-j jobs option added to Coq IDE