DejaGnu 1.4.4 release

[Ben Elliston]

Hi Andrew

> - should src/dejagnu/ be replaced?

IMHO, yes.  The 1.4.4 release is very close to the version in
src/dejagnu.  I've since merged a handful of patches from src -> FSF
that were missed and I've a patch that can be applied after a 1.4.4
import that will ensure that nothing will be lost from src/dejagnu.

> - should src/dejagnu/ be removed?

What would the alternative be?  To just expect (ha!) developers to
have DejaGnu installed on their systems?

I think as a first step, we should go with the former.  After a bit of
time, we can consider removing it from src altogether.

Cheers, Ben