Handle SIGTERM in websocket-server.
ChangeLog for websocket-server SIGTERM.
Send flashproxy pools that include transport information.

For now, we only do the "websocket" transport.
Put facilitator-email-poller init script stuff in the proper section.

facilitator-email-poller is optional, unlike facilitator and
facilitator-reg-daemon. It will work only if you first do all the steps
in gmail-setup.txt.
Make explicit a couple of directories.
Put facilitator-reg-daemon instructions before the init script.
Update facilitator-howto.txt for Debian 7.
facilitator-reg-daemon doesn't have an email password.
Support DESTDIR in makefiles.

https://www.gnu.org/prep/standards/html_node/DESTDIR.html
Merge branch 'master' into src-tree

Conflicts:
	facilitator/Makefile
	facilitator/doc/facilitator-howto.txt
source the email address from a defaults file, don't hard code it