Commit juqueen build script
Improve .gitignore file

This commit cleans up the .gitignore file. It now only ignores generated
files that are always created in the source tree.
Merge remote-tracking branch 'upstream/develop' into develop