Update p3 to version 0.0.5 (v.2014-04-30 release on github)

This bumps the version of p3, and directs opam to download from github (previously bitbucket).