Merging HAL changes from development trunk to baseline13 trunk

See ticket: #4094

Edited Dec 05, 2018 by Luciano Orsini

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information