check generality of the code

[xhajnal]

• [x] create_data_and_props
  • one has to have models, use our creator, or edit it #wontfix
• [x] synth_params (with PRISM so far)
• [ ] sample_n_visualise
  • [x] option to input own sampled parameter space
• [ ] data_generation
  • [x] simulating
  • [ ] assingning whether simulation satisfies properties - not easy - see #41
• [ ] direct_param_synth
  • [ ] data format may be not standard
  • [ ] noise(margin) ?
• [x] analysis
  • now possible to input a raw data
  • also properties instead of intervals
  • also interleaving of the methods via using src.space