community/mirage: remove redundant sources

These were apparently only used by older versions of Mirage, so
remove them. See CONTRIBUTING.md in upstream's repository.
7 jobs for !21005 with mirage-fixes in 1 minute and 49 seconds (queued for 1 second)
detached
Status Job ID Name Coverage
  Lint
passed lint #383026
docker-alpine x86_64

00:00:19

 
  Build
passed build-aarch64 #383031
docker-alpine ci-build aarch64

00:01:29

passed build-armv7 #383032
docker-alpine ci-build armv7

00:01:10

passed build-ppc64le #383030
docker-alpine ci-build ppc64le

00:01:27

passed build-s390x #383029
docker-alpine ci-build s390x

00:01:27

passed build-x86 #383028
docker-alpine ci-build x86

00:00:47

passed build-x86_64 #383027
docker-alpine ci-build x86_64

00:00:39