add F* setup instructions