v1.3.1
Do not use yywrap (ticket #42)
Update .gitignore files
Relevant BUGIDs: none
Relevant BUGIDs: 416229
Relevant BUGIDs: 124391
Fix whitespace issues