Merge pull request #86 from dice-group/develop

Developed version 0.1.5

Merge pull request #82 from dice-group/develop

Developed version 0.1.4

Updated several dependencies. Increased the version to 0.1.3.

Merge branch 'develop'

Explained the docker command.

Added the javadoc plugin. Changed the final name of the jar file.