Refactored incremental API
Added Mealy variant for transition systems
Added JSR305 annotations
Fixed bug in graph DFS
Added incremental examples
Added delegate possibility for DefaultDOTHelper