Added option for user defined configurations

If the user adds a file called websocket_user_conf.h to his workdir,
this file will be used instead of websocket_global_conf.h.
The file structure needs to be the same as the one of the global config
file!