Add cramanual_short.m