Updated INSTALL for Github migration and latest dependencies