Change version to 1.0.0.dev4; not ready for official release yet