add option to Wildfly-Overview to "auto-restart" after publishing

Actually, with Jboss Tools we can change to automatically publish to Wildfly-Server after resources has changed. However, it makes sense to restart the server automatically after code/resource is changed and published.

Please add a new option in "Wildfly Server Overview" beneath the "Publishing" called "Restarting" with a checkbox. So when user checks "restart after publish", server will be automatically restarted after resources has changed.