Core and Commander settled
rename User Command => Commander
wiring Commander load event
Executable querying path
now we can query user about the path of agda executable
now we can write commands to agda executable
load with included dir
moving stream/ to executable/stream/
process.stdout streaming
output panel
rename output => view, prepare to fuse all views togehter
merged all views