http doesn't seem to work for github repos

switch to https
do not fail when there are no .elc files

use hack to make it work on platforms which don't support
--no-run-if-empty xargs parameter