Rudimentary user-facing documentation for amcheck