Things to remove from bin

[Ivan R. Judson]

Is there any reason to keep these programs in bin (and install them for the
user):

CertificateRequestTool.py
NodeManagement.py


And move AGLauncher.py to packaging/OSX
And StopServer.py to tools/

--Ivan