[PATCH v2] startup: add support for <file>:<line> format

[Benjamin Valentin]

Many development tools (e.g. GCC, addr2line, grep -n, assert/log messages)
will output files with line numbers in the format <file>:<line>:<column>.

Support this format in addition to the +<line>,<column> format when
opening files.

This makes it much easier to copy the file name from a compile error or
failed assertion into a nano command line an open the file at the right
place as it can be done with e.g. Sublime Text, VSCode or Geany.

v2: on files that start with a ':', only that first ':' is ignored.

Best,
Benjamin

0001-startup-add-support-for-file-line-format.patch
Description: Text Data