remove junk in makefile.push_doc
add a flag to compile containers.advanced only if sequence is installed
add dependency on sequence for containers.advanced