str_replace built-in.

Hey Alex,

I recently removed the String replacement feature from the sparql_select built-in, as String operations seem largely unrelated to SPARQL querying. Instead, I wanted to use java.lang.String.replace(). However, I noticed that it is not easily possible to use replace() with ProvaObjects, so here is the shiny new str_replace built-in. Please pull.