Jenkinsfile: remove the leftover docs-on-pagure directory
    
    The docs-on-pagure directory could be left from the previous build which
    will cause this error:
    
    fatal: destination path 'docs-on-pagure' already exists and is not an empty directory.
    
    So we need to clean it up.