fixed: printf formatters aren't colorized in try..with..finally expressions

What about changes in project files, I've no idea why Paket made this mess.