Add option to disable auto opening of pr page

This is also just disabled on Linux, because
Python's webbrowser module is just broken on
Linux...