An extension to build Github-Pages easy