2.15
Slihgt modif. to configurations.xml
Added theme
Added theme switching in menu
Added more colors to tomorrow palette
Modified .gitignore
Finished implementation of theming
Merge branch 'feature/better_colors' into develop
Added random IC DE
Merge branch 'feature/plugins' into develop
Release 2.16
Merge branch 'release/v2.16'