Add version 1 semantics version of timing diagram
use pdflatex throughout in Makefile
add rough diagrams to paper (need to reference and describe them)