Merge remote-tracking branch 'github/testing'
Merge remote-tracking branch 'github/testing'
add gdedrie
pep8
no more backend
bump version
use IrmaProbeType class, in probe and frontend formatters
sync lib
add display of successfully loaded plugin
sync lib