pub get call ou to tavern
Revert "pub get call ou to tavern"

This reverts commit 82ed82ff4ef81a2832f2586a2f46de0159138b5b.
call out to tavern for pub get
added right url to permissions
fix nits
upgrade ace; turn on fade-fold-widgets; adjust minimap mouse behavior
turn on code completion for dart files
Merge branch 'master' into devoncarew_pub_get
update the pub CL
fix a bug with our compilation server; reduce the size of the compiled output
size the search box to be the same size as the search results; exclude results from the build/ directory
add 5 benchmarks for costly operations
add logging information to git clone
Merge pull request #1177 from keertip/pubget

call out to tavern for pub get
more benchmarks; speed up sha
merge to master
review comments
Merge pull request #1206 from devoncarew/devoncarew_benchmarking

Devoncarew benchmarking
review comments
merge to master