DevTools: Rename edit workspace folder button to "Folder options" to avoid confusion.

R=pfeldman, caseq

Review URL: https://codereview.chromium.org/354993003

git-svn-id: svn://svn.chromium.org/blink/trunk@177078 bbb929c8-8fbe-4397-9dbb-9b2b20218538