An HST search for planets in the lower main sequence of the globular cluster NGC 6397