x/auth module specification

[cwgoes]

For ourselves and for auditors.

Include StdTx, account store, account keeper, base account, vesting account (done).