Checkout part of a file with git checkout -p