Eclipse with ARM on mac. I fought thru all this, and yes, those boards are complicated as all get-out. The learning curve is as steep as you can imagine, pretty much vertical, but it is short if you have experience with other STM micros. Having Arduino experience won't help much. The debugger doesn't work well, be prepared to exit Eclipse often and restart.
Once you get the eclipse+arm going, go here:
http://stm32f4-discovery.com/ and read thru his code. Lots of simple examples and it all works. Plus he has a ton of experience with the F4 boards and answers his board and emails very quickly. He's been a big help. I gave up on the F4 board three times at least before finding his site.
By the way, the F7 is a kick ass board but I doubt it is worth the effort over the F4 right now. I've found the I/O to be slow on these boards, specifically any TFT, LCD, etc display, so the extra horsepower is wasted on apps with UI.