v0.5

• reduction in memory usage by sharing state components (tuple of locations, zones, etc) between states of transition systems (zone graph)
• allocators with collection of unused shared objects for transition systems
• upgraded unit tests to Catch2 librabry v3