0.19

Added

• Total state space size and time to completion estimation
• --first_process_errors_only option
• Parts of aronisstav/erlang-concurrency-litmus-tests as a testsuite
• Codecov code coverage tracking
• contributor's guide
• Github Pull Request and Issue templates

Removed

• untested code for 'hijacking' processes (e.g. application_controller (#2))

Changed

• progress bar format
• symbolic PIDs are now shown as "<symbol/last registered name>"
• report shows mailbox contents when a deadlock is detected
• significantly optimized DPOR implementations
• moved concuerror executable to /bin directory

Fixed

• handling of stacktraces
• exclude instrumentation time from timeouts