update jenkins seed
extend test_restart_master to test if progress is possible while previous master is down
Merge pull request #264 from Incubaid/test-restart-master

Test restart master + update seed