Removed extension from default database name
Added verbatim section; started on import probsoln
Finished (mostly) import probsoln section of doc