A git version of the PetIGA repository, with a few minor changes