* gitignore update

  Previously the ignored stuff was erroneously in .git/info/exclude
* inc'd versions
* 804.031
* inc'd VERSION to 804.031