Seed and problem pulling

Should all be working now, with pulled problems getting stored in a
seed file and everything read from there.  Next up pushing.