automatic MySQL -> ERD script using GraphViz