fix(src/statSMT_sq.cpp): uninitialized members

Found by scan.coverity:

     https://scan8.coverity.com:8443/reports.htm#v11164/p10153/
doc: Update README.md

add Coverity badge
fix(src/statSMT_sq.cpp): possible null dereference after dynamic_cast
chore: apply dos2unix (eliminate dos newline ^M)
fix(simulation.cpp): wrap boost::regex_match with try-catch block
Merge pull request #3 from soonhokong/master

fix(src/statSMT_sq.cpp): uninitialized members