Release v5.0.0 (#595)

* prepare release

Author: smolkaj

frenetic.opam

@@ -1,16 +1,15 @@
 opam-version: "1.2"
 available: [ ocaml-version >= "4.05.0" ]
-version: "4.2.0"
-maintainer: "Arjun Guha <arjun@cs.umass.edu>"
-authors: "Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>"
+version: "5.0.0"
+maintainer: "Steffen Smolka <smolka@cs.cornell.edu>"
+authors: "Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>"
 homepage: "http://frenetic-lang.org"
 bug-reports: "https://github.com/frenetic-lang/frenetic/issues"
 dev-repo: "https://github.com/frenetic-lang/frenetic.git"
 
 build: ["jbuilder" "build" "-p" name "-j" jobs]
 build-doc: ["jbuilder" "build" "@doc" "-p" name "-j" jobs]
 build-test: ["jbuilder" "runtest" "-p" name "-j" jobs]
-install: ["jbuilder" "install" "-p" name "-j" jobs]
 
 depends: [
   "cppo"