Detachable integrated Bash Terminal for NINJA-IDE