builtin docs: remove file and execfile, they are not in python 3

Authored by brauch on Nov 21 2018, 9:58 PM.