added a custom dropdown <select> so a big list of numerous symbols is easily searchable now
new version with the SearchSelect plugin
removed console.log
fixed minor style issues
fixed minor bugs
added SearchSelect to the build process
fixed minor bugs
added ontology and concept classes to annotations
Merge branch 'master' of github.com:KWARC/KAT
added .DS_Store
bugfixes
removed testing code
added review system