Rename `redux.js` to `paxos.js`.

See #89.