Set main font of BenchExec tables to Droid Sans. The currently used Arial produces incorrect alignment of numeric columns.
Set main font of BenchExec tables to Droid Sans.
The currently used Arial produces incorrect alignment of numeric columns.

martin-neuhaeusser/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,martin-neuhaeusser/benchexec,martin-neuhaeusser/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,IljaZakharov/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,martin-neuhaeusser/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,IljaZakharov/benchexec