Travis camlp4 extra

Install the camlp4-extra package (which contains `camlp4of` etc.) in the Travis script.