Update to current WebODF pullbox branch

Noticable changes:
* direct formatting key shortcuts properly disabled