doc(README.md): remove mailing list; add travis badge

[skip ci]
update
update
update
update
update
update
up
update
update
update
initiate sat mod optimization
dReach: init