since you mentioned linux, there's the mt-daapd project (
http://www.mt-daapd.org/).You can set it up to tanscode flac->mp3 on the fly and then access the library through iTunes on a windows or mac computer. Don't know if you can save them to your mp3 player through itunes though.