ProgTest Themes

This is theme manager for Progtest.
Not only does it change the overall design of Progtest, but it also adds useful features such as syntax highlighting or notifications.