Papis, un administrador de documentos y bibliografías basado en línea de comandos