Simplify signal handler as much as possible, fixes #730
Fix dashboard refresh URL
bump version