Ignore the last_docs_built text file

This text file is used on Orchestra to check to see if the code has been
updated since the documentation has last been built.  Since it updates with
every commit and is only used on the server, it shouldn't be in version
control.