github mirror of the Allegro 5 repository