Added ServiceProvider.fst from Jacobs project.. Modified the different modules and this temporary version compiles
Merge branch 'master' of github.com:kiniry-supervision/OpenNemID