Finiteness Properties And Cat(0) Groups