use standard banner
improved ViewObj for external objects
improved inline comments
add the external object to the weak pointer list as soon as possible

(even before adding the properties to the external object)
get rid of the obsolete variable assignments_pending in homalgSendBlocking