the official asn1c repository at github posed problems to
some people in the past. It's better to have it locally
for such a critical piece of the software.

  - fix the run_enb_ue_virt_s1 script
  - change the Ki value back to the one used

thanks to Supreeth Herle for reporting.