* sysmocom/ttcn3/jenkins-run.sh: Pass confg file as cmdline
* Makefile: Implement clean target * Makefile: Add manual target to build user manual