Initial commit for github-deploy command.

We build and push to gh-pages branch, as of now.
Allow branches for deployment to be configured.
Minor Flake8 fix.

Fixes #1208. [skip ci]
fix #984
Copy listing sources when COPY_SOURCES is True
link raw sources in base theme
link raw sources in bootstrap theme
link raw sources in bootstrap3 theme
jinjified
Use python code to do tasks, where possible instead of shell commands.

Also, keep the old history of the deploy branch instead of creating an
orphan branch each time.
Change github-deploy to github_deploy everywhere.
Reuse ask_yesno code from utils.
fix #1258

Signed-off-by: Chris “Kwpolska” Warrick <kwpolska@gmail.com>
make ask and ask_yesno more sensible

Signed-off-by: Chris “Kwpolska” Warrick <kwpolska@gmail.com>
Merge pull request #1214 from getnikola/copy-and-link-listing-sources

Listings should copy "raw" files and link to them
flake8

Signed-off-by: Chris “Kwpolska” Warrick <kwpolska@gmail.com>
Merge branch 'master' into github-deploy
Merge branch 'master' into github-deploy
Use consistent command format when using subprocess.
Make it possible to fully disable RSS.

Signed-off-by: Chris “Kwpolska” Warrick <kwpolska@gmail.com>