add open-logic-dev.tex to produce "development" version of everything