hide make output panel on success

Adds two config options:
boolean to configure if the make panel is to be closed when make execution has successfully completed, and another to set the delay with which to close it.