Fix link to travis status. Add missing header include.