Cambios en el menu de HeadNode.py :
- Añadida opción configuración de conexiones (se permiten varias)
- Posibilidad de añadir, modificar o cerrar una conexión
Merge branch 'master' of https://github.com/CloudMiner/Wrapper.git
Añadidas tablas en mongoDB:
 - workers funcionando
 - miners funcionando

asimismo, añadidas las opciones de menu que las consultan. al arrancar
un worker, añade una entrada en la tabla correspondiente, y al terminar
borra esta entrada. IDEM para los miners