Format sampling progress messages better
DOC: report travis-ci status from master, not develop
Check for user interrupt during sampling and optimization