VERSION, bootstrap, ale.1: Add VERSION information for man page.