Remote workers for socket channel#944

rieder merged 8 commits intoamusecode:mainamusecode/amuse:mainfrom

ipelupessy:remote_workers_for_socket_channelipelupessy/amuse:remote_workers_for_socket_channelCopy head branch name to clipboard