cache_name function

Generation of a name for a cache file for the value of a function.