Build error with docs should now be fixed; reinstate the Travis CI docs test