update version to 0.17.4dev (once 0.17.3 is released, it's no longer 0.17.3)

... as discussed in #177.

But be sure to keep the habit after making releases ;-)