A Double Main Sequence in the Globular Cluster NGC 6397