Installation package for the Beluga proof developement language