CONFPILOT: A Pilot for Faster Configuration by Learning from Device Manuals