Merge pull request #508 from utzig/add-dockerfile

Add dockerfile to build docs