Move file from *source* to *dest*
    If file is a Python script, also rename .pyc and .pyo files if any

def move_file(source, dest):
    """
    Move file from *source* to *dest*
    If file is a Python script, also rename .pyc and .pyo files if any
    """
    import shutil
    shutil.copy(source, dest)
    remove_file(source)