raise version to 3.0.12

Bugfixes:
- Sendetermine wurden nicht angezeigt
- GS bei Filter ein/ausschalten in Sendetermine
- unerwünschte Zeichen in Sendernamen bei Senderzuordnung
- Hänger durch das File .../serienrecorder/tmp/planer
- Timer von Merkzettel wurden nicht angelegt
- Abgleich der Timer mit EPG hat nicht funktioniert

Änderungen:
- automatische Cover-Suche bei Autocheck wurde entfernt (weniger
Belastung für wunschliste.de)
- Cover-Anzeige (und damit auch die Cover-Suche) kann generell im
globale Setup ausgeschaltet werden