I am on the road today but hope to write this up in full by the weekend. There were a couple of tweaks and I think you hit about half of them.
I used Arduino IDE 1.6.5-r2 ... the Arduino Eclipse package didn't like "-r2" and I had to remove that from the version text. I also had to tell the tool where a version of "Make" could be found ... and there were about half a dozen other tweaks. The bottom line is that once it works, it works great ... and I'm sorry to have to make you wait for what I learned ... but I got tired last night and gota work the next two days ... if you can hold off till later ... I promise to have a full write up by the weekend.
Neil