Added configuration control class; some work on Pusheen skin; started converting C highlight from hand-made to JFlex-based.