Create editor plugins #4
Description
Create editor plugins that hook into the Smyth command-line interface so that programs can be built up interactively.
Should use JSON Smyth output as discussed in #3.
To start, the top-ranking solution could simply be used to fill holes in the program (with an error message if there are no results). An improvement on this would be to show an interactive menu that lets users choose which synthesis result they would like to select as well as the ranking mechanism (Top-3 vs. Top-3R, etc.).
Visual Studio Code and, secondarily, Vim would be good targets to start with due to their widespread adoption.