Ensured that doc/manual/.themes/ is excluded from Sphinx.
Ensured that <cstring> is imported for std::strlen().
Updated the Travis CI build status badge URL.