Upgrade the build image

--- old
+++ new
@@ -1 +1,8 @@
-The build image could be upgraded to 64 bit. That would fix a lot of limitations, and 32-bit host systems should be really rare, especially for people that would use the build image (Windows)
+There are various updates to the build system that could/should be done:
+
+* upgrade to 64 bit; this fixes a lot of limitations (one CPU, for example)
+* update the packages
+* install gflags for the new program options
+* install python with numpy for the python port
+
+Do not forget to update the wiki.

--- old
+++ new
@@ -4,5 +4,6 @@
 * update the packages
 * install gflags for the new program options
 * install python with numpy for the python port
+* automatize more with scripts (for example the sharing with the host system?)

 Do not forget to update the wiki.

--- old
+++ new
@@ -7,3 +7,7 @@
 * automatize more with scripts (for example the sharing with the host system?)

 Do not forget to update the wiki.
+
+----
+
+Everything done except for the automatized sharing. Too much can go wrong here, and errors may leave the whole system stale.