Add coq.env.add-context for inserting context declarations
#280
| Job | Run time |
|---|---|
| 1m 0s | |
| 1m 40s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 2m 40s |