Only compile docs after merges to master

Luuk Scholten
2017-03-01T21:28:35+01:00

We don't have to compile our docs every time, this greatly slows down the build process.