Fixing the invalid gitignore file.
Add the tutorial on holonic auction (issue #151).