Updating the mighty-1284p core

That's good to know -- one less thing to worry about.

Although the two additional zip files I propose for the patched libs would have to be maintained manually if this structure was adopted. Although I can't see the patched lib files changing very much once they are up there, so shouldn't be an overly onerous undertaking.

If my suggestion is adopted, I will take responsibility for seeing that those manual zips are kept up to date if everyone is happy with that.