jenkins-build-makebuildserver: com.amaze.filemanager instead of org.xcsoar
jenkins-build-makebuildserver: com.amaze.filemanager instead of org.xcsoar

org.xcsoar hosts its own git repo.  Self-hosted git repos can be flaky, and
they are blocked by the Guardian Project jenkins server, so use an app from
github.com instead.

f-droid/fdroidserver,f-droid/fdroidserver,f-droid/fdroid-server,f-droid/fdroidserver,f-droid/fdroid-server,fdroidtravis/fdroidserver,fdroidtravis/fdroidserver,f-droid/fdroid-server,f-droid/fdroid-server,f-droid/fdroidserver,f-droid/fdroid-server,fdroidtravis/fdroidserver,f-droid/fdroidserver,fdroidtravis/fdroidserver