add tcolorbox.sty, which seems to be necessary
remove files that shouldn't be under version control