Adding vpnc configuration module
cleanup per Lethalman's suggestions
Merge pull request #3904 from sfultong/vpnc-upstream

Adding vpnc configuration module
pythonPackages.rainbowstream: 0.9.3 -> 0.9.5, fix build on py3k
agda-stdlib: update to 0.8.1

This is necessary after the Agda-2.4.2 bump
Update FPC binary expression
Update FPC to 2.6.4