Incremental builds with binderbot

[rabernat]

It is wasteful to run binderbot on every notebook all the time. We should only run it on notebooks that have been changed, using a cached version for all others. This should be possible somehow but needs some github workflow wizardry.