open source TACO :)

This commit adds the source code and the documentation for TACO
toolsuite for threshold automata to its new public home.

Co-authored-by: Tom Baumeister <tom.baumeister@cispa.de>
Co-authored-by: Peter Gastauer <peter.gastauer@cispa.de>