Socat

Removed my Github mirror of the devel package. The https instead of
http can screw with checksumming, and could cause issues with the bot.
If the developers website remains unreachable I guess I can always
throw the mirror back in as the main url at a later point.