Bugfix: --file option of credgen
Add --dir option to mkelection
Add functional interface to Tool_credgen

 * big refactoring of Tool_credgen
 * --count now generates numeric ids: $T.hashcreds is always
   generated, $T.privcreds has always the same format
Update credential authority's guide
Regenerate credential files for demo elections