Added p3 package.
updated to 2.0.1
+
remove .native suffix from installed binary
Merge pull request #717 from HappyCrow/qtest_2.0.1

updated to 2.0.1
Changed executable name from p3gen.native to p3gen
Merge branch 'tr61-master' of https://github.com/mirage/opam-repository

Conflicts:
	packages/p3.0.0.3/files/p3.install

Merge avsm suggested change to executable name.
Merge pull request #718 from mirage/master

workaround atdgen build failure
Merge pull request #716 from tr61/master

Added p3 package to opam-repository
add atdgen.1.2.4
add biniou.1.0.6
add yojson.1.1.6
refine atdgen.1.2.3 constraints to need biniou.1.0.6
the older yojson.1.1.3 has a fixed upper bound on biniou version