use opt instead of @@dsl.
add coveralls
add coveralls badge
Merge branch 'testing-and-refactoring'