Update php packages

Add new packages to core_packages.txt

* Create dejagnu.rb

* Update dejagnu.rb

Correct homepage

* Update dejagnu.rb

* [texinfo] remove binaries

Version mismatch with perl, need recompilation

* Update texinfo.rb

* Add used disk space to the files command

* Use the filelist variable

* Simplify the disk usage message

remove buildessential to prevent dependency loop, add libuv as dependency, fresh build have been performed.

When I read this the first time, I didn't see anything on the given page telling me anything about crew. Finally I realized that although the instruction was in a separate paragraph, it didn't expect me to have already gotten in to dev mode.
This way of phrasing it should help people know what they're looking for on the wiki.

* Add speedtest package

* Use pip3

Add libxml2 python module

libxml2 python module will be built in a separate package.

Add dependency

* Fix armadillo package

* Remove LIBDIR from armadillo install.

* Add glog package.

* Update glog package.

* Add openblas package.

* Fix openblas package.

* Add armadillo package

* Fix armadillo package.

* Update sharedmimeinfo.rb

* Update sharedmimeinfo.rb

* [llvm] Upgrade to 6.0.0 with pre-built binaries

Recompile using gcc-4.9.4 instead of gcc-7.3.0

* Create pangomm.rb

* Update pangomm.rb

* Create libsigcplusplus.rb

* Update libsigcplusplus.rb

* Update libsigcplusplus.rb

The dependency libsigcplusplus (sigc++-3.0) will be renamed to libsigcplusplus3

* [libsigcplusplus] upgrade to 2.99.10 with binaries

* Update libsigcplusplus.rb

[mm_common] add pre-built binaries

[doxygen] minor change