Project Filelist for Mr. Waffles

Experimental version
- supports reverse CTL operators
- supports free variables in CTL formulas
- supports EG operator over finite paths

First release