@DexterTinker, last time we did an update to the Arduino software, it took us a bit of manual effort to get it working, hence we do not recommend other people to try installing it nevertheless becasue it might not work. You can give it a shot and let us know if everything still works.
Also, we had pretty much found that the IDE works almost the same with 1.6.0 with the Arduberry as for the newer versions, so I think it should be good to go and you wont be missing out on a lot.
We usually try to get the IDE updated every time we release a new image, which is every 3-4 months. Maybe you can check back after the new image is released, probably in Jan 17 for the newer IDE.