docs: update development doc (#3700)

Author: tisonkun

docs/development.md

@@ -11,7 +11,7 @@ You can build your changes with
 Run linters as you make your changes.
 We can recommend using VSCode with the Go addon to have this work automatically.
 
-Official lints are ran with:
+Official lints are run with:
 
     make check
 
@@ -20,11 +20,11 @@ Linter versions are changed with [tools.go](../tools.go).
 
 ## Testing
 
-The full test suite is ran with:
+The full test suite is run with:
 
     make test
 
-This takes a while to run. The test suite uses a fork of [gocheck](http://labix.org/gocheck). With gocheck, individual tests can be ran with this form:
+This takes a while to run. The test suite uses a fork of [gocheck](http://labix.org/gocheck). With gocheck, individual tests can be run with this form:
 
     go test github.com/tikv/pd/server/api -check.f TestJsonRespondError
 
@@ -37,4 +37,4 @@ We use [Swagger 2.0](https://swagger.io/specification/v2/) to automatically gene
 ## Error responses
 
 Error responses from the server are switching to using [errcode codes](https://github.com/pingcap/errcode).
-The should use the `errorResp` function. Please look at other places in the codebase that use `errorResp`.
+They should use the `errorResp` function. Please look at other places in the codebase that use `errorResp`.