update ace editor to 1.1.7
support for padding in ace, use a non-wolfe theme for now