Style Guide

[bkc39]

This is just the commit to get everything started for the style guide, and to test the LaTeX style files from #5. This issue has a few subtasks:

• [ ] Create the Makefile for the lectures directory.
• [ ] Document the process for adding a new lecture and integrating with the Makefile.
• [ ] Create the Style Guide.

It would be best to add sub-issues for each of the items we want in the Style Guide (at a more precise level than copy the one from CS 3110.

As of right now you can check that this works on your machine by doing:

$ cd <path-to-coq311>/lectures
$ make
$ open build/style-guide/style-guide.pdf

Should give you:

The Makefile depends on latexmk, so make sure that is installed.

[bkc39]

Also note that the above was built using the style files from #5, so make sure to include merge those into your branch before trying to make.

[bennn]

Let's merge? I'm thinking we should fill out the style guide after we finish coding.