Added (missing) doc comment
Delete old travis scripts