Added the lanterna library