add @Documented to SpecTest annotation

This allows @SpecTest to be included in Javadocs.