Graph coloring animation with interval choice. Some project cleanup.