pages*: switch http to https (#13907)

pages.es/common/abduco.md

@@ -1,7 +1,7 @@
 # abduco
 
 > Administrador de sesión de terminal.
-> Más información: <http://www.brain-dump.org/projects/abduco/>.
+> Más información: <https://www.brain-dump.org/projects/abduco/>.
 
 - Lista sesiones:
 

pages.es/common/astyle.md

@@ -2,7 +2,7 @@
 
 > Indentador, formateador y embellecedor de código fuente para los lenguajes de programación C, C++, C# y Java.
 > Al ejecutarse, se crea una copia del archivo original con un ".orig" añadido al nombre del archivo original.
-> Más información: <http://astyle.sourceforge.net>.
+> Más información: <https://astyle.sourceforge.net>.
 
 - Aplica el estilo por defecto de 4 espacios por sangría y sin cambios de formato:
 

pages.es/common/atoum.md

@@ -1,7 +1,7 @@
 # atoum
 
 > Un framework de pruebas unitarias para PHP sencillo, moderno e intuitivo.
-> Más información: <http://atoum.org>.
+> Más información: <https://atoum.org>.
 
 - Inicializa un fichero de configuración: