[WIP] Add `refresh project` in-line shortcut to Gradle script editor

[donat]

This PR implements a new code mining extension point which adds a new shortcut to each supported editor that has a Gradle build file open.