minisat: fix maintainer

[disassembler]

Motivation for this change

Travis builds are breaking because maintainer string is wrong.

$ ./maintainers/scripts/travis-nox-review-pr.sh nixpkgs-verify nixpkgs-manual nixpkgs-tarball nixpkgs-unstable
=== Verifying that nixpkgs evaluates...
error: undefined variable ‘Mic92’ at /home/travis/build/NixOS/nixpkgs/pkgs/applications/science/logic/minisat/unstable.nix:18:39

Things done

• Tested using sandboxing
  (nix.useSandbox on NixOS,
  or option build-use-sandbox in nix.conf
  on non-NixOS)
• Built on platform(s)
  • NixOS
  • macOS
  • Linux
• Tested compilation of all pkgs that depend on this change using nix-shell -p nox --run "nox-review wip"
• Tested execution of all binary files (usually in ./result/bin/)
• Fits CONTRIBUTING.md.

---

[disassembler]

Also found same problem in buildbot. Added commit to fix it as well.

[Mic92]

Thanks!

[Mic92]

Maybe I should capitalize it in maintainers.nix. (: