Automatic HTML update via Travis