Compacte boom van Gerrit Onstenk