Fix issue #129

[vic0103520]

Improve how Agda buffer appear:

• This modification preserves current layout and create a new panel depending on configuration or current layout.

For example,

• if there's only one editor, it will create a panel depending on configuration
• if there are editors split left/right(top/down), it will create a panel at the bottom(right)

[ZoneTwelve]

You should not change that two package.
But you still need to update the "rescript-vscode": "github:banacorn/rescript-vscode#v0.0.17" to the next version

based on this PR, you can set the version to v0.0.18.

[ZoneTwelve]

Please disregard this file.

[ZoneTwelve]

This needs to be ignore.