* Upload to Lucid. Cannot immediately upload to sid as agda is tied up in a
  GHC transition taking place.
* debian/control: Fix short descriptions (too long, one said "profiling"
  instead of "documentation")
* debian/rules, debian/control: No need to use upstream's buildsys. This only
  builds Everything.agda which is already included in the distribution
  anyway. Also trim GHC and filepath from build-deps as these aren't needed
  now. This bypassing is required becuase upstream's buildsys invokes
  runhaskell, which isn't available everywhere.
* debian/rules: Disable upstream tests for the same reason as above. We
  typecheck the same file, README.agda, to generate the documentation
  anyway so this has no negative effect.