INSTALL file modified. IN first Line, the package to be installed is camlp4-extra for ubuntu 11.04