Fixes for object-oriented slicing

Fix propagation of object trees through calls

1.3.0: Object-oriented slicing based on the JSysDG

bump version

Remove jetbrains annotations

Slicer: removed bugs

* Removed null pointer when type is not specified
* Improved usage message
* Clarified error messages

README: add missing flag in example