InstantSSH plugin: Fixed: devpts and procfs handling + small fixes