CI: No longer publish documentation PDF to Github

Since 'Github downloads' is no longer supported, this is rather useless.
CI: Disable Bitbucker <-> Github repository sync

Everything is moved to Github, so no sync is required any longer.