Explicitly add files for gh-pages

@pfiller @stof This is the same as PR #1304 but without the accidental build commit and revert.