Adds a button to GitHub pull requests that activates a single file view for Octotree.
Per 12-01-2019. Zie de nieuwste versie.
