Unchanged libmDot-mbed5 with a tag so that it can be downloaded from within MBED Studio