Documentation of the high beta stability codes HBT and HBTAS at JET