import, adopt, and upgrade camlp5 6.06 -> 6.07