add eclipse extension to be ignored in the push