An Eclipse plugin to open shell and file explorer