Remove core-spec.pdf from repository
Currently we track
core-spec.pdf in the repository, which is generated from ott sources. This is a rather flagrant violation of a central tenant of version control: don't track derived files. However, simonpj would like to ensure that there is an easily accessible copy of this artifact somewhere, so we can't remove it yet. Let's ensure that it is produced by documentation artifact produced by CircleCI.