Did the Globular Cluster NGC 6397 Trigger the Formation of the Young Open Cluster NGC 6231?