bugfix: use \providecommand to define \thetheorem

On my machine \thetheorem was not defined. So I use \providecommand for a workaround.
fix typos (0 -> \emptyset; definition directed set; definition coendliche Menge)
add make target "upload_kulla"
Merge branches 'typos' and 'project_cleanup'