Handle invalid arguments with a warning only

This commit changes the server startup code so that it starts even when encountering an unknown option.
This change is motivated by the fact that most server host provide the nogui option in their startup script and would thus prevent the server from starting.