Added rerun and redebug buttons to execution monitor, regarding #552.