Move miri binary source into src/bin.

This commit is contained in:
Scott Olson 2015-12-12 00:46:03 -06:00
parent 96128cff85
commit 5e0ba54d00