Unhide some autodoc tests from batch runs since 2ace678

* contrib/slime-autodoc.el (define-autodoc-tests): Use
`define-slime-ert-test' to automatically set the correct test
tags.