- Updated petsc sha1 sum
- Added option to checkout and install devel version of feelpp with the
--HEAD option