remove .native suffix from installed binary
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.