Run a specific Python file with tofupilot run

Projects with several test stages sharing one codebase could not validate a stage locally: local runs always fell back to main.py, so the only workarounds were renaming files or keeping separate checkouts.

• Added support for naming the entry file directly, so tofupilot run ./stage1_entry.py runs that stage instead of main.py, with a warning when the framework expects a directory rather than a file.
• Fixed ID columns in tofupilot ls being cut to eight characters, so IDs can now be copy-pasted straight into get, update, rm and link.
• Improved the logged-out and "no procedure found" messages to show the direct-file form, annotated as needing no account.