added subkey "filename" to "repository" so that it is possible to give a specific filename
changed "repository" subkey "filename" to "exact_filename"
added "repository" subkey "exact_version" to manually specify version
Merge pull request #22 from giatorta/master

added option to give specific file name