added .jade extension to argumentStates
Merge branch 'workflow' of https://github.com/carneades/carneades into workflow