Create gh-pages branch via GitHub
Merge branch 'gh-pages' of https://github.com/Lionel07/elementOS
Revert "Create gh-pages branch via GitHub"

This reverts commit e38b98c0d69663ad594826afa050e1ffccdf384e.
Get travis to push kernel to gh-pages