Installation package for the Beluga proof developement language

For reference on what Beluga exactly is please refer to: http://complogic.cs.mcgill.ca/beluga/

Thx.