CI: change cronjob to push HTML updates if docu repo changes

[bsipocz]

The cron logic needs to be revised in a way that deployment happens from cron if the documentation pages change. Or we should set up a trigger from that repo.