Include the doc git repo in the migration as well as an example
    
    The git repo for the documentation of the project follows the same
    structure as the git repos for requests and tickets and should therefore
    be migrated as well.
    
    This commit also includes a small shell command that can be used to
    migrate the git repo into the `forks/` folder.