Added a "restartpause" option + fixing travis-checks#659

Open

pfuender wants to merge 4 commits intoSupervisor:mainfrom

pfuender:master

Commits on Sep 16, 2015

Added a "restartpause" option
pfuender
committed

Commits on Dec 30, 2015

Merge remote-tracking branch 'upstream/master'
Raphael Hoegger
committed
document new "restartpause" option
Raphael Hoegger
committed

Commits on Dec 31, 2015

fixing typo - s/attemps/attempts/
Raphael Hoegger
committed