moves pymor-demo launcher from debian/ to src/