Ideslave socket

provide an option to communicate via a tcp/ip socket with the ideslave protocol. also provide a protocol-version.

this will enable execution from within emacs (since stdin/stdout of idris can be used for the program, while tcp/ip socket is used for the structured expressions)