A GUI for eie, a simple revision control manager