Profile_noindex is a project mainly written in PHP, it's free.

Plugin which gives the user the option to not have his/her profile indexed by a search engine