[patch] Make print_float_info() multi-arch pure, add ui_file and frame_info

[Richard Earnshaw]

> PS: In doing this I noticed that arm-tdep.c is using printf() et.al. :-(

It's another of those things on my to-do list.

R.

PS.

Sorry for the long and unannounced absence -- broke my kneecap while 
playing cricket ;-(