Update of .gitignore.
1. Some work on the document API
(org.optimizationBenchmarking.utils.document).
2. The documentation has been improved: Several package-info.java files
have been added.
3. Some minor changes.
Merge remote-tracking branch 'github/master'
1. Work on the document API
(org.optimizationBenchmarking.utils.document).
2. Improved documentation: Added several package-info.java files.
3. Minor changes.