I did some testing again with BMFont, and it does produce good results, when choosing the right settings, and especially it lets you add custom glyphs from images (like for buttons), which is important if we want to keep the button icons in the fonts.