Well at least it is progress of sorts. Which ever way you go, it would be great to capture what you have learnt, so we can get back to this point later...
So, perhaps start a new branch esp32-ble and put the espruino changes under that, and also a new branch under espruino build tools with the same name, that will capture the partition changes and sdkconfig changes.
I can get this all working with Travis if you like - then if we want to return to this point, or someone else want to pick up the gauntlet, we have a starting point.
I think the bluedroid libraries might be quite large - but at the end of the day there is plenty of flash, it's the ram there the issue.
It would be great to get it working, as a ble to wifi bridge would be awesome.
Contact me on gitter if you would like some help.