Added WebDoc generation on Travis