A simple PHP+JS application to manage YubiKeys