Fix: Overloading groupbox checkbox signal such that introduction message will not be disabled.
Add: As pylint, executable check is done in the setting window. subprocess is called to judge whether the input executable is valid or not.
Fix: Adopted Andrew's way of testing sphinx version. Corner case might happen based on the discussion.