Remove "lib" and "lib64" from the mbed-OS .gitignore file: they do not seem to be required and lib is used as a directory name in a recent (u-blox) mbedOS target submission, so ignoring the files under that directory becomes a problem.