Add autotest-spec to README