feat: Remove log file from documentation maintenance script (#716)

This commit removes an erroneously checked in log file from the
documentation repository, and adds *.log files to the gitignore file
with the intent that in the future, our scripts will output .log files
and thus avoid the possibility of this happening again.

Author: ADubhlaoich

.gitignore

@@ -1,7 +1,8 @@
 # See https://help.github.com/articles/ignoring-files/ for more about ignoring files.
 **/.DS_Store
 
-# dependencies
+# Log files
+*.log
 
 # testing
 /coverage