Home/project page: add export (or save?) action from cards

[microbit-matt-hillsdon]

This is a bit awkward because we need MakeCode to create the hex file for us but users have looked for this action on the per project "..." menu.