docs, fixes in actor shutdown, SSL support for socket servers and exclude-labels options for the test suite