From what I read on Element-14 about Mbed boards, it is possible to use more conventional tools, they just need a bit of setting up. Be aware with these competitions that who they give boards to can be a bit arbitrary. I know in the past I have applied for Circuit Cellar freebies and they have miraculously had their stock allocated elsewhere. Understandably, they seem to give priority to US based people.