DOC: rename doc/install (missing from bf6af15dd6f82f4a7ecd0672ecd1e3ac71b8e1af)
DOC: Fold lines at 80 char
Scripts to parse output of LTL2DSTAR and convert from SPIN syntax

These are being placed initially under contrib/ because they are independent
of tulip.  Once code from them is incorporated into tulip, scripts that
provide similar command-line behavior will be placed under tools/.
DOC: Correct misprint in author list of MPT2