Adding the source code of the ABC4Trust Smart Card Lite