Remove pro.user files from repository

pro.user files describe a user environment. They are not useful for
other people afaik.