Bump v. 0.4.
Bump v. 0.4.
Update texinfo documentation.
Add automatically generated files to ignore list.
Merge branch 'release/0.4' into develop