Tony Zanders’ software Skilltype is bringing libraries around the world into the 21st Century, Amanda Vincent’s Studyville is giving kids a place to learn