added Docker support#10

benedikt90 wants to merge 1 commit intophilips-software:masterphilips-software/functiondefextractor:masterfrom

benedikt90:masterbenedikt90/functiondefextractor:masterCopy head branch name to clipboard