added customizations and agda mode
updating version on github