Bump version number
Use -pthread instead of -lpthread for portability.  Apparently -pthread
unfolds into -lpthread and whatever other flags like -D_REENTRANT are
needed on the current platform...
Create a means for the UI to kill the engine process when it was
run by the helper script...