mikeizbicki updated Herbie's database for new format

Latest commit 0d495e4

Oct 6, 2015