Add ladislav to travis report