qunit used for tests
fixes bisimulation incorrectly using minimal fixed-point
Merge branch 'integrate-qunit'
forgot qunit.js
corrected the line endings
Add confirmation dialog for delete