it seems to me that gamedevelop exports only to windows/linux...
and about html5- it is fantastic, i tried construct2 beta and it work nicely even with symbian phone... but as you mentioned i am looking for native formats, so it can be published on appstore, android market etc...
or is it possible to sell application made with html5 on appstore ?