"mainspec.native -" reads spec from stdin and prints in dot format to stdout
new travis config with ppa for ocaml+opam
also cil was updated in opam