Did see this posting only now.
We use gEDA for editing schematics and generating the PCB as described
here.
The sources for gschem - actually the complete hardware project directory including VHDL code - are available at the member area of the forum as stated
here. Latter posting is from 2012 but you will find the rev. 2 design files as well.