tools: extract-platinfo.py: Rename into lisa-platinfo-extract

Keep a symlink under the old name, but rename to ensure a "namespaced" name that
will play well with installing LISA system wide when moving on PyPI.