Switch to flat list of members in exported JSON.

Also changed Docs app client side to handle the flat members list.
Mostly things got simpler.

As this is a large change, some corners still need to be fixed,
like the --import of JSDuck exports.