option to specify proc arch; support for mic
better start-up scripts for sockets (resolves #16); fixed cmake quirks