jiri-v23-profile: Install libssl-dev for base profile version<5
jiri-v23-profile: Install libssl-dev for base profile version<5

Based on the comment in the code, it looks like we inteded to install
libssl-dev for base profile with target < 5.

This CL fixes a bug in the conditional logic so that the behavior
matches the comment.

Fixes https://github.com/vanadium/issues/issues/1075

Change-Id: I5c5e92f3868b86907663ae97fb81946eff8c6608

vanadium/go.devtools,vanadium/go.devtools,vanadium/go.devtools