Experiments with auto-deploy documentation and benchmarks on github pages via travis ci