Rename the main module lib.rs.

This is a first step toward #2.