Added some shrinking steps and changed references of Ubuntu versions to 13.04.