Updated manual with new proxy and channel features
addd VLC in the description plus typo fixes
processed Niels comments
Merge pull request #614 from rsplak/devel

Candidate list decryption fix
Fix for win32 installer
Merge pull request #610 from synctext/devel

Ubuntu Manual page update with streaming and anontest
Merge pull request #615 from egbertbouman/fix_installer

Fix for win32 installer
Unconditional ping, removed RQ