[ci] remove docs jobs (#13)

Remove docs ci jobs, since the repository doesn't use the score
documentation methods and thus failing ci jobs might be irritating to
reviews and contributors.

Author: jannowotsch