Merge branch 'release/0.1.2' into develop
drop spidermonkey from travis conf
Merge branch 'develop'