set_tipp json

set_tipp schreibt nun auch json
tipps.txt wird nicht mehr benötigt