Implemented vibrateWithPattern (for android) and adapted documentation.