We put a source tarball for coda-4.7.1 in

ftp://ftp.coda.cs.cmu.edu/pub/coda/src

This is development code - it works but probably isn't very stable.  It
has a very large amount of changes with the previous versions.

- Peter -