Moves WebEditor to separate repo. Fixes #5.