split human-readable interface and hkp

This splits up the web interface from HKP. That way we can return simpler error messages without rendering in templates, and potentially shortcut via nginx.