Consistent use of openrc.sh as credentials file

The havana guide uses different names for the bash credential files. Use
openrc.sh consistently, as already done in Icehouse.

Closes-Bug: #1288275

Change-Id: Ia5ff5920cda2576a731b89dba71ce670ca1a6016