changed icon for export in action bar
Merge branch 'master' into CGS97
implemented eqdlog proof for partdecryption