A browser-based manager for logging and accessing hosts over ssh and ipmi